A Spatio-Temporal Authoring Tool for Multimedia SMIL Documents
نویسندگان
چکیده
we present in this paper a spatiotemporal SMIL editor with incremental verification capabilities. Our authoring tool, named SMIL Builder V2, is the extended version of our temporal editor SMIL Builder, defined in a previous work. The new version SMIL Builder V2 deals with spatial layout as well as spatio-temporal errors, like spatial conflict. The spatial conflict is a major problem that affects the quality of multimedia presentations. It occurs when two visual objects overlap, partially or totally, in space and in time. The editor will have to respond to each operation of modification on the document. In the case of a spatial conflict, the author will be informed of the problem and be assisted by the system that proposes a diagnosis and some possible solutions. KeywordsMultimedia; SMIL; Spatiotemporal Conflict; SMIL Authoring Tool
منابع مشابه
Towards a Formal Approach for Modelling SMIL Documents
We present in this paper a hierarchical and temporal extension of Petri Nets for the incremental authoring of SMIL multimedia documents. The complexity of these documents can lead authors, in some cases, to specify synchronization relations which could not be satisfied during the presentation of the document, what characterizes the occurrence of inconsistencies; a consistency checking mechanism...
متن کاملGRiNS: An Authoring Environment for Web Multimedia
The W3C has recently released a language for Web-based Multimedia presentations called SMIL: the Synchronized Multimedia Integration Language. GRiNS is an authoring and presentation environment that can be used to create SMIL-compliant documents and to play SMIL documents created with GRiNS or by hand. This paper discusses GRiNS as a tool for creating multimedia education materials on the Web.
متن کاملAn abstract animation model for integrating SMIL basic animation elements with multimedia documents
Declarative definition of multimedia presentation such as provided by SMIL standard can be considered as the most significant advance in the multimedia integration domain. The work presented here proposes an abstract way to use animations in this domain. That provides flexibility, no redundancy, easiness to maintain and reuse of animations in authoring and presenting multimedia documents. The m...
متن کاملUsing a Formal Method to Verify the Temporal Semantics of SMIL Documents
Several works have been dedicated to the authoring and presentation of interactive multimedia applications to be distributed over the web, but few of them address semantic verification issues of these documents. This paper presents a formal approach for the design and semantic verification of SMIL documents which relies on the classical reachability analysis performed on RT-LOTOS specifications...
متن کاملAn Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents
The flexibility of high level authoring models (such as SMIL 2.0) for the edition of complex Interactive Multimedia Documents can lead authors, in certain cases, to specify synchronization relations which could not be satisfied during the presentation of the document, thus characterizing the occurrence of temporal inconsistencies. For this reason, we need to apply a methodology which provides...
متن کامل